¿Qué es ley de morgan?

La Ley de Morgan, también conocida como De Morgan's theorem en inglés, es una regla matemática que proporciona una relación entre las operaciones de not (no), and (y) y or (o) en álgebra booleana.

La Ley de Morgan establece dos reglas básicas:

1. La negación de una afirmación conjunta es equivalente a la disyunción de las negaciones de cada término. En otras palabras, si se niega una expresión que está formada por dos o más términos unidos por la conjunción "y", se obtiene una expresión equivalente en la que cada término está negado y unido por la disyunción "o". Por ejemplo:

   • ¬(A ∧ B) es equivalente a (¬A ∨ ¬B)

2. La negación de una afirmación disyunta es equivalente a la conjunción de las negaciones de cada término. En otras palabras, si se niega una expresión que está formada por dos o más términos unidos por la disyunción "o", se obtiene una expresión equivalente en la que cada término está negado y unido por la conjunción "y". Por ejemplo:

   • ¬(A ∨ B) es equivalente a (¬A ∧ ¬B)

Estas reglas pueden ser útiles para simplificar expresiones lógicas y realizar operaciones en álgebra booleana. La Ley de Morgan es ampliamente utilizada en la lógica digital, en circuitos electrónicos y en diseño de sistemas computacionales.